Solving Diagnosability of Hybrid Systems via Abstraction and Discrete Event Techniques
نویسندگان
چکیده
This paper addresses the problem of determining the diagnosability of hybrid systems by abstracting hybrid models to a discrete event setting. From the continuous model the abstraction only remembers two pieces of information: indiscernability between modes (when they are guaranteed to generate different observations) and ephemerality (when the system cannot stay forever in a given set of modes). Then, we use standard discrete event system diagnosability algorithms. The second contribution is an iterative approach to diagnosability that starts from the most abstract discrete event model of the hybrid system. If it is diagnosable, that means that the hybrid system is diagnosable. If it is not, the counterexample generated by the diagnosability procedure is analysed to refine the DES. If no refinement is found, then it can not be proved that the hybrid system is diagnosable. Otherwise, the refinement is included in the abstract DES model a d the diagnosabili y procedure continues.
منابع مشابه
Coupling Continuous and Discrete Event System Techniques for Hybrid System Diagnosability Analysis
In this paper we propose a hybrid system modeling framework aimed at analyzing diagnosability. In this framework, the hybrid system is seen as the composition of an underlying discrete event and an underlying continuous systems. Diagnosability of these two underlying systems are fully analyzed and new results are provided for the underlying continuous system (called the multimode system). Based...
متن کاملAn Event-based Approach to Hybrid Systems Diagnosability
Diagnosability is an important issue in the design of diagnostic systems, because it helps identify whether sufficient information is available to distinguish all the faults. Diagnosability of hybrid systems, however, is challenging, because mode transitions may occur during fault isolation. We present an event-based framework for hybrid systems diagnosis based on a qualitative abstraction of m...
متن کاملDiagnosability of Hybrid Systems: Analysis and Verification Cast in Des Framework
The diagnosability analysis proposed for Discrete Event Systems (DES) can be extended to Hybrid Systems (HS) which are systems with combined discrete and continuous behavior. In this paper we propose an approach based on the combination of the diagnosability of the underlying DES and the distinguishability of the continuous modes of the HS. The main idea is to build an observer of the underlyin...
متن کاملHybrid Systems Diagnosis by coupling Continuous and Discrete event Techniques
This paper deals with the problem of diagnosing systems that exhibit both continuous and discrete event dynamics. The proposed approach combines techniques from both continuous and discrete event diagnosis fields. On the on hand, an extension of the parity space approach is used to associate signatures to every operational mode of the system. On the other hand, signature switches arising from t...
متن کاملCombining Enumerative and Symbolic - Techniques for Diagnosis of Discrete-Event Systems
In this paper, an efficient approach to verify diagnosability of discrete-event systems is proposed. The approach consists in constructing a hybrid diagnoser based on the symbolic observation graph (SOG), which is a technique that combines symbolic and enumerative representations in order to build a deterministic observer from a partially observed model. The construction of the diagnoser as wel...
متن کامل